[prev] [prev-tail] [tail] [up]

Integrals 101 to 174

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

745 745 1245 852 0 0 0 0 0

N.S.

1 1.00 1.67 1.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.849 1.270 30.533 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

739 739 1239 840 0 0 0 0 0

N.S.

1 1.00 1.68 1.14 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.581 1.601 45.227 0.000 0.000 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

785 785 1291 933 0 0 0 0 0

N.S.

1 1.00 1.64 1.19 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.653 1.649 81.579 0.000 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F(-1) F(-1) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

707 707 1805 1396 0 0 0 0 0

N.S.

1 1.00 2.55 1.97 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.008 7.513 8.687 0.000 0.000 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 389 941 0 1015 0 0 0

N.S.

1 1.00 2.48 5.99 0.00 6.46 0.00 0.00 0.00

time (sec)

N/A 0.124 0.959 5.551 0.000 0.507 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F B F(-1) F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

193 193 386 894 0 888 0 0 0

N.S.

1 1.00 2.00 4.63 0.00 4.60 0.00 0.00 0.00

time (sec)

N/A 0.139 0.723 5.549 0.000 0.485 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F(-1) F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

685 685 1871 3533 0 0 0 0 0

N.S.

1 1.00 2.73 5.16 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.947 6.060 2.870 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

1124 1124 1819 1822 0 0 0 0 0

N.S.

1 1.00 1.62 1.62 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.149 6.074 66.801 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

1124 1124 1827 1288 0 0 0 0 0

N.S.

1 1.00 1.63 1.15 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.175 6.067 33.262 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

1114 1114 1812 1812 0 0 0 0 0

N.S.

1 1.00 1.63 1.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.682 6.045 94.037 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

403 403 342 0 0 1701 0 0 0

N.S.

1 1.00 0.85 0.00 0.00 4.22 0.00 0.00 0.00

time (sec)

N/A 0.881 1.615 0.000 0.000 2.370 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

294 294 263 0 0 1383 0 0 0

N.S.

1 1.00 0.89 0.00 0.00 4.70 0.00 0.00 0.00

time (sec)

N/A 0.267 1.699 0.000 0.000 1.088 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

195 195 213 0 0 1100 0 0 0

N.S.

1 1.00 1.09 0.00 0.00 5.64 0.00 0.00 0.00

time (sec)

N/A 0.137 1.589 0.000 0.000 0.523 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 23 20 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.00 0.87 1.00 1.17

time (sec)

N/A 0.067 7.660 0.429 0.000 0.273 10.312 0.366 1.184

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 23 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.00 0.96 1.00 1.17

time (sec)

N/A 0.068 4.875 0.738 0.000 0.269 14.239 0.354 1.308

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 27 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.17 0.96 1.00 1.17

time (sec)

N/A 0.064 12.605 0.387 0.000 0.264 116.687 0.331 1.287

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 0 20 19 20 24

N.S.

1 1.00 1.10 0.90 0.00 1.00 0.95 1.00 1.20

time (sec)

N/A 0.023 16.513 0.414 0.000 0.256 47.320 0.355 1.169

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 23 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.00 0.96 1.00 1.17

time (sec)

N/A 0.057 1.554 0.344 0.000 0.265 7.258 0.360 1.447

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

328 328 247 0 0 194 0 0 0

N.S.

1 1.00 0.75 0.00 0.00 0.59 0.00 0.00 0.00

time (sec)

N/A 0.299 8.120 0.000 0.000 0.111 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

453 453 325 0 0 290 0 0 0

N.S.

1 1.00 0.72 0.00 0.00 0.64 0.00 0.00 0.00

time (sec)

N/A 0.405 10.831 0.000 0.000 0.118 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

374 374 305 0 0 1701 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 4.55 0.00 0.00 0.00

time (sec)

N/A 0.351 1.579 0.000 0.000 2.305 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

262 262 247 0 0 1377 0 0 0

N.S.

1 1.00 0.94 0.00 0.00 5.26 0.00 0.00 0.00

time (sec)

N/A 0.186 1.625 0.000 0.000 1.090 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 40 20 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.74 0.87 1.00 1.17

time (sec)

N/A 0.080 7.849 2.136 0.000 0.279 71.460 0.493 1.139

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 40 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.74 0.96 1.00 1.17

time (sec)

N/A 0.081 6.268 2.031 0.000 0.268 61.958 0.376 1.427

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 43 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.87 0.00 1.00 1.17

time (sec)

N/A 0.078 12.552 1.086 0.000 0.257 0.000 0.361 1.403

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 0 37 0 20 24

N.S.

1 1.00 1.10 0.90 0.00 1.85 0.00 1.00 1.20

time (sec)

N/A 0.031 17.073 1.093 0.000 0.272 0.000 0.358 1.195

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 40 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.74 0.96 1.00 1.17

time (sec)

N/A 0.070 32.885 2.246 0.000 0.265 99.479 0.405 1.540

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 40 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.74 0.96 1.00 1.17

time (sec)

N/A 0.074 8.273 0.376 0.000 0.262 67.227 0.362 1.400

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

416 416 303 0 0 288 0 0 0

N.S.

1 1.00 0.73 0.00 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.379 10.892 0.000 0.000 0.121 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

554 554 383 0 0 395 0 0 0

N.S.

1 1.00 0.69 0.00 0.00 0.71 0.00 0.00 0.00

time (sec)

N/A 0.529 11.820 0.000 0.000 0.146 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

321 321 281 0 0 1385 0 0 0

N.S.

1 1.00 0.88 0.00 0.00 4.31 0.00 0.00 0.00

time (sec)

N/A 0.708 2.005 0.000 0.000 1.116 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

225 225 242 0 0 1111 0 0 0

N.S.

1 1.00 1.08 0.00 0.00 4.94 0.00 0.00 0.00

time (sec)

N/A 0.211 1.364 0.000 0.000 0.550 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

132 132 108 0 0 869 0 0 0

N.S.

1 1.00 0.82 0.00 0.00 6.58 0.00 0.00 0.00

time (sec)

N/A 0.100 0.364 0.000 0.000 0.356 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 31 20 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.35 0.87 1.00 1.17

time (sec)

N/A 0.063 1.144 0.427 0.000 0.253 7.816 0.349 1.263

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 33 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.43 0.96 1.00 1.17

time (sec)

N/A 0.074 4.734 0.817 0.000 0.292 27.725 0.361 1.361

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 27 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.17 0.96 1.00 1.17

time (sec)

N/A 0.065 32.378 0.452 0.000 0.261 54.463 0.350 1.475

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 0 20 19 20 24

N.S.

1 1.00 1.10 0.90 0.00 1.00 0.95 1.00 1.20

time (sec)

N/A 0.021 0.630 0.473 0.000 0.284 15.389 0.356 1.167

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

246 246 143 0 0 107 0 0 0

N.S.

1 1.00 0.58 0.00 0.00 0.43 0.00 0.00 0.00

time (sec)

N/A 0.176 1.849 0.000 0.000 0.106 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

362 362 249 0 0 196 0 0 0

N.S.

1 1.00 0.69 0.00 0.00 0.54 0.00 0.00 0.00

time (sec)

N/A 0.315 6.517 0.000 0.000 0.112 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

1006 1006 329 0 0 291 0 0 0

N.S.

1 1.00 0.33 0.00 0.00 0.29 0.00 0.00 0.00

time (sec)

N/A 1.260 8.637 0.000 0.000 0.125 0.000 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

252 252 265 0 0 1483 0 0 0

N.S.

1 1.00 1.05 0.00 0.00 5.88 0.00 0.00 0.00

time (sec)

N/A 0.732 1.480 0.000 0.000 0.503 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

157 157 161 0 0 1070 0 0 0

N.S.

1 1.00 1.03 0.00 0.00 6.82 0.00 0.00 0.00

time (sec)

N/A 0.176 1.030 0.000 0.000 0.414 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

80 80 79 0 0 283 0 0 0

N.S.

1 1.00 0.99 0.00 0.00 3.54 0.00 0.00 0.00

time (sec)

N/A 0.074 0.239 0.000 0.000 0.310 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 42 20 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.83 0.87 1.00 1.17

time (sec)

N/A 0.083 8.180 1.748 0.000 0.278 82.808 0.363 1.343

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 44 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 1.91 0.00 1.00 1.17

time (sec)

N/A 0.091 10.616 2.420 0.000 0.268 0.000 0.360 1.571

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 47 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.04 0.96 1.00 1.17

time (sec)

N/A 0.079 14.410 1.352 0.000 0.260 144.523 0.394 1.502

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 47 22 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.04 0.96 1.00 1.17

time (sec)

N/A 0.070 5.264 1.476 0.000 0.261 35.071 0.428 1.242

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

109 109 113 0 0 74 0 0 0

N.S.

1 1.00 1.04 0.00 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 0.063 1.705 0.000 0.000 0.100 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

274 274 212 0 0 190 0 0 0

N.S.

1 1.00 0.77 0.00 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.225 4.817 0.000 0.000 0.118 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

701 701 277 0 0 331 0 0 0

N.S.

1 1.00 0.40 0.00 0.00 0.47 0.00 0.00 0.00

time (sec)

N/A 0.993 6.453 0.000 0.000 0.124 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

244 244 242 0 0 2123 0 0 0

N.S.

1 1.00 0.99 0.00 0.00 8.70 0.00 0.00 0.00

time (sec)

N/A 0.774 1.300 0.000 0.000 0.486 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

163 163 137 0 0 664 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 4.07 0.00 0.00 0.00

time (sec)

N/A 0.175 0.464 0.000 0.000 0.386 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

138 138 132 0 0 571 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 4.14 0.00 0.00 0.00

time (sec)

N/A 0.095 0.446 0.000 0.000 0.356 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 53 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.30 0.00 1.00 1.17

time (sec)

N/A 0.085 14.073 1.816 0.000 0.267 0.000 0.379 1.284

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 55 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.39 0.00 1.00 1.17

time (sec)

N/A 0.104 15.460 2.326 0.000 0.264 0.000 0.382 1.578

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 58 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.52 0.00 1.00 1.17

time (sec)

N/A 0.090 14.359 1.362 0.000 0.271 0.000 0.390 1.560

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 0 58 0 23 27

N.S.

1 1.00 1.09 0.91 0.00 2.52 0.00 1.00 1.17

time (sec)

N/A 0.072 13.525 1.423 0.000 0.271 0.000 0.436 1.390

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

276 276 186 0 0 286 0 0 0

N.S.

1 1.00 0.67 0.00 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 0.196 0.310 0.000 0.000 0.116 0.000 0.000 0.000

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

296 296 248 0 0 348 0 0 0

N.S.

1 1.00 0.84 0.00 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.172 4.127 0.000 0.000 0.127 0.000 0.000 0.000

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F(-2) A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

631 631 323 0 0 536 0 0 0

N.S.

1 1.00 0.51 0.00 0.00 0.85 0.00 0.00 0.00

time (sec)

N/A 1.033 7.593 0.000 0.000 0.145 0.000 0.000 0.000

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

589 570 400 0 0 0 0 0 0

N.S.

1 0.97 0.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.632 3.012 0.000 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

374 355 291 0 0 0 0 0 0

N.S.

1 0.95 0.78 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.318 0.473 0.000 0.000 0.000 0.000 0.000 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

178 204 169 0 0 0 0 0 0

N.S.

1 1.15 0.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.141 0.328 0.000 0.000 0.000 0.000 0.000 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 23 25 25 20 25 29

N.S.

1 1.00 1.09 1.00 1.09 1.09 0.87 1.09 1.26

time (sec)

N/A 0.054 2.293 2.823 0.548 0.271 39.070 0.323 0.910

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 23 25 36 0 25 29

N.S.

1 1.00 1.09 1.00 1.09 1.57 0.00 1.09 1.26

time (sec)

N/A 0.051 4.060 2.532 0.562 0.285 0.000 0.330 0.903

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 42 0 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.68 0.00 1.00 1.16

time (sec)

N/A 0.079 0.957 2.255 0.519 0.273 0.000 0.354 0.949

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 25 24 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.96 1.00 1.16

time (sec)

N/A 0.069 0.123 0.895 0.384 0.277 52.552 0.350 0.877

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 25 24 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.00 0.96 1.00 1.16

time (sec)

N/A 0.070 0.921 1.103 0.407 0.281 22.423 0.352 0.964

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 45 24 25 29

N.S.

1 1.00 1.08 0.92 1.00 1.80 0.96 1.00 1.16

time (sec)

N/A 0.075 1.101 2.091 0.412 0.274 140.345 0.353 0.989

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

401 401 194 0 0 238 0 0 0

N.S.

1 1.00 0.48 0.00 0.00 0.59 0.00 0.00 0.00

time (sec)

N/A 1.836 0.239 0.000 0.000 0.297 0.000 0.000 0.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

268 268 159 0 0 181 0 0 0

N.S.

1 1.00 0.59 0.00 0.00 0.68 0.00 0.00 0.00

time (sec)

N/A 1.502 0.279 0.000 0.000 0.279 0.000 0.000 0.000

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 135 118 0 0 125 0 0 0

N.S.

1 1.07 0.94 0.00 0.00 0.99 0.00 0.00 0.00

time (sec)

N/A 0.147 0.222 0.000 0.000 0.275 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 87 37 34 26 30

N.S.

1 1.00 1.08 0.92 3.35 1.42 1.31 1.00 1.15

time (sec)

N/A 0.066 0.637 0.273 0.483 0.264 11.186 0.376 1.811

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 111 39 36 26 30

N.S.

1 1.00 1.08 0.92 4.27 1.50 1.38 1.00 1.15

time (sec)

N/A 0.070 8.065 3.075 0.493 0.259 82.450 0.354 1.446

[prev] [prev-tail] [front] [up]